Compiling Polymorphism Using Intensional Type Analysis